#include<cstdio>

int main()
{
    int a, b;
    scanf("%d%d",&a,&b);
    printf("%.3f",a*1.0/b);
    
    return 0;
}
